Partition Relations for Successor Cardinals
نویسنده
چکیده
This paper investigates the relations K+ --t (a): and its variants for uncountable cardinals K. First of all, the extensive literature in this area is reviewed. Then, some possibilities afforded by large cardinal hypotheses are derived, for example, if K is measurable, then K + + (K + K + 1, a): for every a < K +. Finally, the limitations imposed on provability in ZFC by L and by relative consistency via forcing are considered, primarily the consistency of: if K is not weakly compact, then
منابع مشابه
Regressive Partition Relations, n-Subtle Cardinals, and Borel Diagonalization
Kanamori, A., Regressive partition relations, n-subtle cardinals, and Bore1 diagonalization, Annals of Pure and Applied Logic 52 (1991) 65-77. We consider natural strengthenings of H. Friedman’s Bore1 diagonahzation propositions and characterize their consistency strengths in terms of the n-subtle cardinals. After providing a systematic survey of regressive partition relations and their use in ...
متن کاملA Note on Strong Negative Partition Relations
We analyze a natural function definable from a scale at a singular cardinal, and provide a fairly simple proof that there is a strong connection between failures of square brackets partition relations at sucessors of singular cardinals and the club–guessing ideal idp(C̄, Ī).
متن کاملTopics in Set Theory
Axiomatics. The formal axiomatic system of ordinary set theory (ZFC). Models of set theory. Absoluteness. Simple independence results. Transfinite recursion. Ranks. Reflection principles. Constructibility. [4] Infinitary combinatorics. Cofinality. Stationary sets. Fodor’s lemma. Solovay’s theorem. Cardinal exponentiation. Beth and Gimel functions. Generalized Continuum Hypothesis. Singular Card...
متن کاملSandwiching the Consistency Strength of Two Global Choiceless Cardinal Patterns
We provide upper and lower bounds in consistency strength for the theories “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω” and “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are re...
متن کاملTree Property at Successor of a Singular Limit of Measurable Cardinals
Assume λ is a singular limit of η supercompact cardinals, where η ≤ λ is a limit ordinal. We present two forcing methods for making λ+ the successor of the limit of the first η measurable cardinals while the tree property holding at λ+. The first method is then used to get, from the same assumptions, tree property at אη2+1 with the failure of SCH at אη2 . This extends results of Neeman and Sina...
متن کامل